• Home
• Categories
• Theorem Proving

Theorem Proving

Clausal temporal resolution

Temporal Resolution / Theorem Proving / Pure Mathematics / Linear Temporal Logic / Boolean Satisfiability / Temporal Logic / Normal Form / Temporal Logic / Normal Form

Download

Parallel Temporal Resolution

Temporal Resolution / Theorem Proving / Spatial and Temporal Reasoning / Temporal Logic / Strategy military science

Download

Comment on “Toward General Type-2 Fuzzy Logic Systems Based on zSlices&#x201D

Applied Mathematics / Fuzzy Logic / Theorem Proving / Electrical And Electronic Engineering

Download

Meta-level inference: Two applications

Cognitive Science / Theorem Proving / Automated reasoning

Download